Free monads and the orthogonal subcategory problem
نویسندگان
چکیده
منابع مشابه
The Orthogonal Subcategory Problem and the Small Object Argument
Our paper is devoted to two classical problems of category theory: the Orthogonal Subcategory Problem which asks, given a class H of morphisms, whether the subcategory H⊥ of all objects orthogonal to every member of H is reflective. And the Small Object Argument which asks whether the subcategory InjH of all objects injective to every member of H is weakly reflective and, moreover, the weak ref...
متن کاملABELIAN CATEGORIES ARISING FROM A MAXIMAL n-ORTHOGONAL SUBCATEGORY
As Koenig and Zhu showed, quotient of a triangulated category by a maximal 1-orthogonal subcategory becomes an abelian category. In this paper, we generalize this result to a maximal n-orthogonal subcategory for an arbitrary positive integer n.
متن کاملOn Rational Monads and Free Iterative Theories
For every finitary endofunctor H of Set a rational algebraic theory (or a rational finitary monad) R is defined by means of solving all finitary flat systems of recursive equations over H. This generalizes the result of Elgot and his coauthors, describing a free iterative theory of a polynomial endofunctor H as the theory R of all rational infinite trees. We present a coalgebraic proof that R i...
متن کاملRecursive Program Schemes and Context-Free Monads
Solutions of recursive program schemes over a given signature Σ were characterized by Bruno Courcelle as precisely the context-free (or algebraic) Σ-trees. These are the finite and infinite Σ-trees yielding, via labelling of paths, context-free languages. Our aim is to generalize this to finitary endofunctors H of general categories: we construct a monad CH “generated” by solutions of recursive...
متن کاملthe problem of divine hiddenness
این رساله به مساله احتجاب الهی و مشکلات برهان مبتنی بر این مساله میپردازد. مساله احتجاب الهی مساله ای به قدمت ادیان است که به طور خاصی در مورد ادیان ابراهیمی اهمیت پیدا میکند. در ادیان ابراهیمی با توجه به تعالی خداوند و در عین حال خالقیت و حضور او و سخن گفتن و ارتباط شهودی او با بعضی از انسانهای ساکن زمین مساله ای پدید میاید با پرسشهایی از قبیل اینکه چرا ارتباط مستقیم ویا حداقل ارتباط وافی به ب...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1978
ISSN: 0022-4049
DOI: 10.1016/0022-4049(78)90010-5